what is a rail gun used for